* w32menu.c: Change 'unsigned long' to 'Time' in #if-0 code.
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 16 May 2011 05:17:23 +0000 (22:17 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 16 May 2011 05:17:23 +0000 (22:17 -0700)
commit8b653c228c044f9f89dac3e0d588172129b3e102
treee78f11a676995ae38015c2a539960428f11f3647
parent56dd5cd7b8b0acc8134b3587f6d7cfccefb70f82
* w32menu.c: Change 'unsigned long' to 'Time' in #if-0 code.
src/w32menu.c